The computational complexity of finding a shortest path in a two-dimensional domain is studied in the Turing machine-based computational model and in the discrete complexity theory. This problem is studied with respect to two formulations of polynomial-time computable two-dimensional domains: domains with polynomialtime computable boundaries, and polynomial-time recognizable domains with polynomial-time computable distance functions. It is proved that the shortest path problem has the polynomial-space upper bound for domains of both type and type ; and it has a polynomial-space lower (...) bound for the domains of type , and has a #P lower bound for the domains of type. (shrink)

The computational complexity of finding a shortest path in a two-dimensional domain is studied in the Turing machine-based computational model and in the discrete complexity theory. This problem is studied with respect to two formulations of polynomial-time computable two-dimensional domains: domains with polynomialtime computable boundaries, and polynomial-time recognizable domains with polynomial-time computable distance functions. It is proved that the shortest path problem has the polynomial-space upper bound for domains of both type and type ; and it has a polynomial-space lower (...) bound for the domains of type, and has a #P lower bound for the domains of type. (shrink)

In At the Will of the Body , Arthur Frank told the story of his own illnesses, heart attack and cancer. That book ended by describing the existence of a "remission society," whose members all live with some form of illness or disability. The Wounded Storyteller is their collective portrait. Ill people are more than victims of disease or patients of medicine they are wounded storytellers. People tell stories to make sense of their suffering when they turn their diseases (...) into stories, they find healing. Drawing on the work of authors such as Oliver Sacks, Anatole Broyard, Norman Cousins, and Audre Lorde, as well as from people he met during the years he spent among different illness groups, Frank recounts a stirring collection of illness stories, ranging from the well-known--Gilda Radner's battle with ovarian cancer--to the private testimonials of people with cancer, chronic fatigue syndrome, and disabilties. Their stories are more than accounts of personal suffering: they abound with moral choices and point to a social ethic. Frank identifies three basic narratives of illness in restitution, chaos, and quest. Restitution narratives anticipate getting well again and give prominence to the technology of cure. In chaos narratives, illness seems to stretch on forever, with no respite or redeeming insights. Quest narratives are about finding that insight as illness is transformed into a means for the ill person to become someone new. (shrink)

Contemporary health care often lacks generosity of spirit, even when treatment is most efficient. Too many patients are left unhappy with how they are treated, and too many medical professionals feel estranged from the calling that drew them to medicine. Arthur W. Frank tells the stories of ill people, doctors, and nurses who are restoring generosity to medicine--generosity toward others and to themselves. The Renewal of Generosity evokes medicine as the face-to-face encounter that comes before and after diagnostics, pharmaceuticals, (...) and surgeries. Frank calls upon the Roman emperor Marcus Aurelius, philosopher Emmanuel Levinas, and literary critic Mikhail Bakhtin to reflect on stories of ill people, doctors, and nurses who transform demoralized medicine into caring relationships. He presents their stories as a source of consolation for both ill and professional alike and as an impetus to changing medical systems. Frank shows how generosity is being renewed through dialogue that is more than the exchange of information. Dialogue is an ethic and an ideal for people on both sides of the medical encounter who want to offer more to those they meet and who want their own lives enriched in the process. The Renewal of Generosity views illness and medical work with grace and compassion, making an invaluable contribution to expanding our vision of suffering and healing. (shrink)

One task of logic, Peirce held, is to classify arguments so as to determine the validity of each kind. His own classification is interesting because it includes a novel type of argument in addition to the two traditionally recognized types. It is the purpose of this paper to discuss what Peirce thought to be sufficiently distinctive about abduction to warrant calling it a new kind of argument. But since one finds in his writings on abduction a number of different views (...) it is first necessary to make a few remarks concerning the unity of Peirce's thought. (shrink)

Arthur Collins's succinct, revisionist exposition of Kant's _Critique of Pure Reason_ brings a new clarity to this notoriously difficult text. Until recently most readers, ascribing broadly Cartesian assumptions to Kant, have concluded that the _Critique_ advances an idealist philosophy, because Kant calls it "transcendental idealism" and because the work abounds in apparent confirmations of that interpretation. Collins maintains not only that this reading of Kant is false but also that it conceals Kant's real achievements. To counter it, he addresses (...) the themes and passages in the _Critique_ that seem to require an idealist thesis and shows how they may be better understood without ascribing any idealist philosophy to Kant. His account coheres with Kant's explicit "refutations" of idealism, it fits Kant's rejection of the imputation of idealism to him by early critics and readers, and it validates Kant's contention that the second edition of the _Critique_ changes the expression but not the doctrine of the first. (shrink)

"More than any thing else technology creates our world. It creates our wealth, our economy, our very way of being," says W. Brian Arthur. Yet, until now the major questions of technology have gone unanswered. Where do new technologies come from -- how exactly does invention work? What constitutes innovation, and how is it achieved? Why are certain regions -- Cambridge, England, in the 1920s and Silicon Valley today -- hotbeds of innovation, while others languish? Does technology, like biological (...) life, evolve? How do new industries, and the economy itself, emerge from technologies? In this groundbreaking work, pioneering technology thinker and economist W. Brian Arthur sets forth a boldly original way of thinking about technology that gives answers to these questions. The Nature of Technology is an elegant and powerful theory of technology's origins and evolution. It achieves for the progress of technology what Thomas Kuhn's The Structure of Scientific Revolutions did for scientific progress. Arthur explains how transformative new technologies arise and how innovation really works. Conventional thinking ascribes the invention of technologies to "thinking outside the box," or vaguely to genius or creativity, but Arthur shows that such explanations are inadequate. Rather, technologies are put together from pieces -- themselves technologies -- that already exist. Technologies therefore share common ancestries and combine, morph, and combine again to create further technologies. Technology evolves much as a coral reef builds itself from activities of small organisms -- it creates itself from itself; all technologies are descended from earlier technologies. Drawing on a wealth of examples, from historical inventions to the high-tech wonders of today, and writing in wonder fully engaging and clear prose, Arthur takes us on a mind-opening journey that will change the way we think about technology and how it structures our lives. (shrink)

Because statements like ‘This object is soluble in aqua regia’ involve the causal modalities, we call them causal dispositional statements. Now while this involvement has long been recognized, no thorough examination of its exact nature has ever been made. One purpose of this paper is to begin such an examination. In Sec. 2 we will suggest an analysis of causal dispositional statements, and in Sec. 3 we will discuss some philosophic issues to which this analysis is relevant.

Action explanations like ‘I am heading to the ferry because the bridge is closed,’ are supposed to require restatement: ‘I am... because I believe the bridge is closed,’ because (i) the objective claim may be false though the intended explanation is correct, and (ii) because objective circumstances have to be cognitively mediated if they are to bear on action. This supposition is rejected here. Restatements cannot withdraw the objective claim without withdrawing the explanation. In the context of reason‐giving, belief statements (...) do not function as assertions about the inner life. The fact that belief statements may be true though the belief itself is false creates the illusion of distinctive subject matters. The illusion is exploited by conceptions of belief positing stored representations. Even if there were such representations, retrieved for the sake of expressing previously acquired beliefs, the expression of belief must endorse p and cannot merely advert to the existence and content of a representation. The reverse of the standard philosophical view about restatement is actually correct. Wherever an agent correctly adduces a belief that an objective circumstance obtains in explaining his action, a de‐psychologizing restatement that merely makes the objective claim must be ascribable to the agent. (shrink)

In this book, Professor Adkins undertakes an examination of certain key value-words in the period between Homer and the end of the fifth century. The behavior of these words both affected and was affected by the nature of the society in which their usage developed. The author shows how only with a complete understanding of the implications and significance of these value-words can the essence of the Greeks and their society be grasped.

. From a proper class of supercompact cardinals, we force and obtain a model in which the proper classes of strongly compact and strong cardinals precisely coincide. In this model, it is the case that no strongly compact cardinal \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $\kappa$\end{document} is \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $2^\kappa = \kappa^+$\end{document} supercompact.

We show relative to strong hypotheses that patterns of compact cardinals in the universe, where a compact cardinal is one which is either strongly compact or supercompact, can be virtually arbitrary. Specifically, we prove if V “ZFC + Ω is the least inaccessible limit of measurable limits of supercompact cardinals + ƒ : Ω → 2 is a function”, then there is a partial ordering P V so that for , There is a proper class of compact cardinals + If (...) ƒ = 0, then the αth compact cardinal is not supercompact + If ƒ = 1, then the αth compact cardinal is supercompact”. We then prove a generalized version of this theorem assuming κ is a supercompact limit of supercompact cardinals and ƒ : κ → 2 is a function, and we derive as corollaries of the generalized version of the theorem the consistency of the least measurable limit of supercompact cardinals being the same as the least measurable limit of nonsupercompact strongly compact cardinals and the consistency of the least supercompact cardinal being a limit of strongly compact cardinals. (shrink)

Can a supercompact cardinal κ be Laver indestructible when there is a level-by-level agreement between strong compactness and supercompactness? In this article, we show that if there is a sufficiently large cardinal above κ, then no, it cannot. Conversely, if one weakens the requirement either by demanding less indestructibility, such as requiring only indestructibility by stratified posets, or less level-by-level agreement, such as requiring it only on measure one sets, then yes, it can.

Combining techniques of the first author and Shelah with ideas of Magidor, we show how to get a model in which, for fixed but arbitrary finite n, the first n strongly compact cardinals κ 1 ,..., κ n are so that κ i for i = 1,..., n is both the i th measurable cardinal and κ + i supercompact. This generalizes an unpublished theorem of Magidor and answers a question of Apter and Shelah.

We show the consistency, relative to a supercompact cardinal, of the least measurable cardinal being both strongly compact and fully Laver indestructible. We also show the consistency, relative to a supercompact cardinal, of the least strongly compact cardinal being somewhat supercompact yet not completely supercompact and having both its strong compactness and degree of supercompactness fully Laver indestructible.

We obtain 2 models in which AC is false and in which there are long sequences of consecutive large cardinals.

This general type of view may be characterized more fully by using the notion of an inductive method. All scientists use approximately the same inductive method, which we will call the standard inductive method. This method is based on the rule of induction by simple enumeration, which may be roughly stated as follows: if it is known only that a certain property Ψ has accompanied another property Φ in a number of instances, then the larger this number of instances the (...) higher the probability that the next occurrence of Φ will be accompanied by Ψ. Though scientists actually reason inductively in accord with this rule, it is important that there are logically consistent inductive methods based on alternative rules. We will describe two of these briefly. The inverse inductive method assigns probabilities according to the rule that if it is known only that Ψ has accompanied Φ a number of times, then the larger the number of instances the lower the probability that the next occurrence of Φ will be accompanied by Ψ. The random predictive method assigns to the proposition that the next occurrence of Φ will be accompanied by Ψ a probability completely independent of the number of times that Ψ has accompanied Φ in the past.. (shrink)

In this paper, we show that certain choiceless models of ZF originally constructed using an almost huge cardinal can be constructed using cardinals strictly weaker in consistency strength.

If κ < λ are such that κ is indestructibly supercompact and λ is measurable, then we show that both A = {δ < κ | δ is a measurable cardinal which is not a limit of measurable cardinals and δ carries the maximal number of normal measures} and B = {δ < κ | δ is a measurable cardinal which is not a limit of measurable cardinals and δ carries fewer than the maximal number of normal measures} are unbounded (...) in κ. The two aforementioned phenomena, however, need not occur in a universe with an indestructibly supercompact cardinal and sufficiently few large cardinals. In particular, we show how to construct a model with an indestructibly supercompact cardinal κ in which if δ < κ is a measurable cardinal which is not a limit of measurable cardinals, then δ must carry fewer than the maximal number of normal measures. We also, however, show how to construct a model with an indestructibly supercompact cardinal κ in which if δ < κ is a measurable cardinal which is not a limit of measurable cardinals, then δ must carry the maximal number of normal measures. If we weaken the requirements on indestructibility, then this last result can be improved to obtain a model with an indestructibly supercompact cardinal κ in which every measurable cardinal δ < κ carries the maximal number of normal measures. (shrink)

This is an original and stimulating collection of articles by scholars trained in classics, moral philosophy, political science, literature, and intellectual history. Its principal objective is to convey to the modern reader a sophisticated understanding of Homeric and Classical Greek morality and how it differs from our own. Some of the articles focus primarily on Greek value concepts, especially the concept of arete. Others compare those concepts to modern notions of virtue and tolerance, as well as to the work of (...) contemporary literary figures and philosophers, including T.S. Eliot, Alasdair Macintyre, John Wallace, and Philippa Foot. Throughout, the juxtaposition of ancient and modern ideas and the worldviews they presuppose makes these readings both intellectually exciting and revealing. (shrink)

We show that the theories “ZFC \ There is a supercompact cardinal” and “ZFC \ There is a supercompact cardinal \ Level by level inequivalence between strong compactness and supercompactness holds” are equiconsistent.

If κ < λ are such that κ is indestructibly supercompact and λ is 2λ supercompact, it is known from [4] that {δ < κ | δ is a measurable cardinal which is not a limit of measurable cardinals and δ violates level by level equivalence between strong compactness and supercompactness}must be unbounded in κ. On the other hand, using a variant of the argument used to establish this fact, it is possible to prove that if κ < λ are (...) such that κ is indestructibly supercompact and λ is measurable, then {δ < κ | δ is a measurable cardinal which is not a limit of measurable cardinals and δ satisfies level by level equivalence between strong compactness and supercompactness}must be unbounded in κ. The two aforementioned phenomena, however, need not occur in a universe with an indestructibly supercompact cardinal and sufficiently few large cardinals. In particular, we show how to construct a model with an indestructibly supercompact cardinal κ in which if δ < κ is a measurable cardinal which is not a limit of measurable cardinals, then δ must satisfy level by level equivalence between strong compactness and supercompactness. We also, however, show how to construct a model with an indestructibly supercompact cardinal κ in which if δ < κ is a measurable cardinal which is not a limit of measurable cardinals, then δ must violate level by level equivalence between strong compactness and supercompactness. (shrink)

We construct a variety of inner models exhibiting features usually obtained by forcing over universes with large cardinals. For example, if there is a supercompact cardinal, then there is an inner model with a Laver indestructible supercompact cardinal. If there is a supercompact cardinal, then there is an inner model with a supercompact cardinal κ for which 2κ = κ+, another for which 2κ = κ++ and another in which the least strongly compact cardinal is supercompact. If there is a (...) strongly compact cardinal, then there is an inner model with a strongly compact cardinal, for which the measurable cardinals are bounded below it and another inner model W with a strongly compact cardinal κ, such that \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${H^{V}_{\kappa^+} \subseteq {\rm HOD}^W}$$\end{document}. Similar facts hold for supercompact, measurable and strongly Ramsey cardinals. If a cardinal is supercompact up to a weakly iterable cardinal, then there is an inner model of the Proper Forcing Axiom and another inner model with a supercompact cardinal in which GCH + V = HOD holds. Under the same hypothesis, there is an inner model with level by level equivalence between strong compactness and supercompactness, and indeed, another in which there is level by level inequivalence between strong compactness and supercompactness. If a cardinal is strongly compact up to a weakly iterable cardinal, then there is an inner model in which the least measurable cardinal is strongly compact. If there is a weakly iterable limit δ of <δ-supercompact cardinals, then there is an inner model with a proper class of Laver-indestructible supercompact cardinals. We describe three general proof methods, which can be used to prove many similar results. (shrink)

We construct two models containing exactly one supercompact cardinal in which all non-supercompact measurable cardinals are strictly taller than they are either strongly compact or supercompact. In the first of these models, level by level equivalence between strong compactness and supercompactness holds. In the other, level by level inequivalence between strong compactness and supercompactness holds. Each universe has only one strongly compact cardinal and contains relatively few large cardinals.

Brian Garrett constructs cases satisfying Andy Hamilton’s definition of weak q‐memory. This does not establish that a peculiar kind of memory is at least conceptually coherent. Any ‘apparent memory experiences’ that satisfy the definition turn out not to involve remembering anything at all. This conclusion follows if we accept, as both Hamilton and Garrett do, a variety of first‐person authority according to which memory judgements may be false, but not on the ground that someone other than the remembering subject had (...) the remembered experience. Garrett’s brain‐bisection illustration sounds convincing, but only because we retain the idea that the subjects created by implanting a hemisphere each in two different bodies are entitled to say that they remember experiences before the surgery in the ordinary sense. To that extent the illustration presents a case of ordinary memory, not q‐memory. (shrink)

We summarize the known methods of producing a non-supercompact strongly compact cardinal and describe some new variants. Our Main Theorem shows how to apply these methods to many cardinals simultaneously and exactly control which cardinals are supercompact and which are only strongly compact in a forcing extension. Depending upon the method, the surviving non-supercompact strongly compact cardinals can be strong cardinals, have trivial Mitchell rank or even contain a club disjoint from the set of measurable cardinals. These results improve and (...) unify Theorems 1 and 2 of [5], due to the first author. (shrink)

The narrative ethicist imagines life as multiple points of view, each reflecting a distinct imagination and each more or less capable of comprehending other points of view and how they imagine. Each point of view is constantly being acted out and then modified in response to how others respond. People generally have good intentions, but they get stuck realizing those intentions. Stories stall when dialogue breaks down. People stop hearing others' stories, maybe because those others have quit telling their stories. (...) The narrative ethicist's job is to help people generate new imaginations that can restart dialogues. (shrink)

We examine combinatorial aspects and consistency strength properties of almost Ramsey cardinals. Without the Axiom of Choice, successor cardinals may be almost Ramsey. From fairly mild supercompactness assumptions, we construct a model of ZF + ${\neg {\rm AC}_\omega}$ in which every infinite cardinal is almost Ramsey. Core model arguments show that strong assumptions are necessary. Without successors of singular cardinals, we can weaken this to an equiconsistency of the following theories: “ZFC + There is a proper class of regular almost (...) Ramsey cardinals”, and “ZF + DC + All infinite cardinals except possibly successors of singular cardinals are almost Ramsey”. (shrink)

We force and construct a model in which level by level equivalence between strong compactness and supercompactness holds, along with certain additional combinatorial properties. In particular, in this model, ♦ δ holds for every regular uncountable cardinal δ, and below the least supercompact cardinal κ, □ δ holds on a stationary subset of κ. There are no restrictions in our model on the structure of the class of supercompact cardinals.

But even with respect to inductive arguments there are a number of different philosophical problems. One is to make explicit the fundamental or most general pattern or patterns of inductive argument. Once these patterns are known a second and third problem arise. The second is to justify man's use of and faith in inductive arguments. And the third is to formulate some general propositions about nature which could reasonably be accepted by users of inductive arguments and which when added to (...) the premises of these arguments make them explicitly deductive. (shrink)